Cityward Migration and Socioeconomic Achievement in Two Korean CitiesKOO H; BARRINGER H. R.Rural Sociology. 1977, Vol 42, Num 1, pp 42-56Article

Up and down the temporal wayBARRINGER, H.Computer journal (Print). 1987, Vol 30, Num 2, pp 134-148, issn 0010-4620Article

A survey of verification techniques for parallel programsBARRINGER, H.Lecture notes in computer science. 1985, Vol 191, issn 0302-9743, VI-115 pSerial Issue

AXIONS AND PROOF RULES FOR ADA TASKSBARRINGER H; MEARNS I.1982; IEEE PROC., E; ISSN 0143-7062; GBR; DA. 1982; VOL. 129; NO 2; PP. 38-48; BIBL. 26 REF.Article

THE PORTABLE COMPILING SYSTEMS OF MUSSBARRINGER H; CAPON PC; PHILLIPS R et al.1979; SOFTWARE AGE; USA; DA. 1979; VOL. 9; NO 8; PP. 645-655; BIBL. 17 REF.Article

Asian Indians as a Minority in the United States. The Effect of Education, Occupations and Gender on IncomeBARRINGER, H; KASSEBAUM, G.Sociological perspectives. 1989, Vol 32, Num 4, pp 501-520, issn 0731-1214Article

A proof system for Ada* tasksBARRINGER, H; MEARNS, I.Computer journal (Print). 1986, Vol 29, Num 5, pp 404-415, issn 0010-4620Article

METATEM : a framework for programming in temporal logicBARRINGER, H; FISHER, M; GABBAY, D et al.Lecture notes in computer science. 1990, Vol 430, pp 94-129, issn 0302-9743, 36 p.Conference Paper

A process algebra foundation for reasoning about core ELLABARRINGER, H; GOUGH, G; MONAHAN, B et al.Computer journal (Print). 1996, Vol 39, Num 4, pp 303-324, issn 0010-4620Article

Fair SMG and linear time model checkingBARRINGER, H; FISHER, M. D; GOUGH, G. D et al.Lecture notes in computer science. 1989, Vol 407, pp 133-150, issn 0302-9743Conference Paper

METATEM : an introductionBARRINGER, H; FISHER, M; GABBAY, D et al.Formal aspects of computing. 1995, Vol 7, Num 5, pp 533-549, issn 0934-5043Article

A logic covering undefinedness in program proofsBARRINGER, H; CHENG, J. H; JONES, C. B et al.Acta informatica. 1984, Vol 21, Num 3, pp 251-269, issn 0001-5903Article

Education, Occupational Prestige, and Income of Asian AmericansBARRINGER, H. R; TAKEUCHI, D. T; XENOS, P et al.Sociology of education. 1990, Vol 63, Num 1, pp 27-43, issn 0038-0407Article